Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
311	A U T O M AT I N G A B S T R A C T I N T E R P R E TAT I O N OF ABSTRACT MACHINES james ian johnson April 2015 Add to Reading List Source URL: deeglaze.github.io Language: English - Date: 2016-08-09 00:27:10 Theoretical computer science Formal methods Abstract machine Semantics Algorithm Widening ACL2 Static program analysis Correctness Interpreter Actor model PdfTeX
312	Types and Tokens Graduate Seminar, University at Buffalo, Fall 2005 PHI513S Fabian Neuhaus and Boris Hennig (Institute for Formal Ontology and Medical Information Science), with Add to Reading List Source URL: www.borishennig.de Language: English - Date: 2016-05-12 09:47:07 Ontology Metaphysicians Analytic philosophers Ancient Greek philosophers Philosophers of education Universal Problem of universals Nominalism Trope David Malet Armstrong Typetoken distinction Category of being
313	Adverse Events Following Immunization Reporting standardization, automatic case classification and signal detection Mélanie Courtot1, Ryan R. Brinkman1,2, Alan Ruttenberg3 1 BC Cancer Agency, Vancouver, BC, Canada, 2 D Add to Reading List Source URL: www.kr-med.org Language: English - Date: 2012-06-26 11:03:07 Ontology Information science Knowledge representation Semantic Web OBO Foundry Formal ontology Web Ontology Language MedDRA
314	Microsoft Word - SSVM-abstract-JK-GPL Add to Reading List Source URL: www.mi.sanu.ac.rs Language: English - Date: 2016-05-09 16:14:27 Business intelligence Statistical models Formal sciences Information science Insurance Predictive analytics Dataflow Data science Statistics Data mining Health informatics Big data
315	Using Small Axiomatic Ontologies for Understanding Group Activities from Movement Sensor Data Torsten Hahmann, Silvia Nittel and Xueying Gu School of Computing and Information Science, University of Maine, Orono, ME, USA Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Knowledge engineering Information science Technical communication Frame language Wireless sensor network Upper ontology Formal ontology
316	1 Automatic Ontology Matching Via Upper Ontologies: A Systematic Evaluation Viviana Mascardi, Angela Locoro, Paolo Rosso Abstract—“Ontology matching” is the process of finding correspondences between entities belo Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2009-08-24 06:11:29 Ontology Knowledge representation Semantic Web Information science Technical communication Upper ontology WordNet Cyc Descriptive Ontology for Linguistic and Cognitive Engineering Web Ontology Language Draft:Outline of ontologies Formal ontology
317	DOC Document Add to Reading List Source URL: www.cma.zju.edu.cn Language: English - Date: 2013-05-27 01:34:24 Formal sciences Management Regression analysis Econometrics Linear regression Social science Operations research Educational technology Statistics Quantitative analyst Economics Strategic management
318	Granular Spatio-Temporal Ontologies Thomas Bittner and Barry Smith Institute for Formal Ontology and Medical Information Science University of Leipzig , Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Knowledge representation Information science Technical communication Basic Formal Ontology Formal ontology Process philosophy Barry Smith Mereotopology Granularity Upper ontology Draft:Outline of ontologies
319	NXP PowerPoint template Guidelines for presentations Add to Reading List Source URL: www.yourcreativesolutions.nl Language: English - Date: 2011-09-09 16:28:00 Model checkers Theoretical computer science Crime prevention Cryptography National security Model checking NuSMV Formal methods Common Criteria Temporal logic Computer security Authentication
320	Special Session on Evolutionary Machine Learning for Image Analysis and Pattern Recognition Organisers:  Muhammad Iqbal School of Engineering and Computer Science, Victoria University of Wellington, New Zealand. Email Add to Reading List Source URL: www.ies-2016.org Language: English - Date: 2016-05-19 03:43:44 Machine learning Formal sciences Evolution Evolutionary computation Computer science Pattern recognition IEEE Transactions on Evolutionary Computation Statistical classification Feature extraction Book:Machine Learning The Complete Guide Outline of evolution

UPDATE